AGM Revision of Beliefs about Action and Time
نویسندگان
چکیده
The AGM theory of belief revision is based on propositional belief sets. In this paper we develop a logic for revision of temporal belief bases, containing expressions about temporal propositions (tomorrow it will rain), possibility (it may rain tomorrow), actions (the robot enters the room) and preand post-conditions of these actions. We prove the Katsuno-Mendelzon and the Darwiche-Pearl representation theorems by restricting the logic to formulas representing beliefs up to certain time. We illustrate our belief change model through several examples.
منابع مشابه
Yet More Modal Logics of Preference Change and Belief Revision
We contrast Bonanno’s ‘Belief Revision in a Temporal Framework’ [15] with preference change and belief revision from the perspective of dynamic epistemic logic (DEL). For that, we extend the logic of communication and change of [11] with relational substitutions [8] for preference change, and show that this does not alter its properties. Next we move to a more constrained context where belief a...
متن کاملPrivate Expansion and Revision in Multi-agent Settings
AGM belief change aims at modeling the evolution of an agent’s beliefs about its environment. In many applications though, a set of agents sharing the same environment must be considered. For such scenarios, beliefs about other agents’ beliefs must be taken into account. In this work, we study private expansion and revision operators in such a multi-agent setting. More precisely, we investigate...
متن کاملPrivate Revision in a Multi-Agent Setting
AGM belief change aims at modeling the evolution of an agent’s beliefs about her environment. In many applications though, a set of agents sharing the same environment must be considered. For such scenarios, beliefs about other agents’ beliefs must be taken into account. In this work, we study the private revision issue in a multi-agent setting represented by a KD45n model. More precisely, we i...
متن کاملA Semantic-Modal View on Ramsey’s Test
We present a semantic analysis of the Ramsey test, pointing out its deep underlying flaw: the tension between the “static” nature of AGM revision (which was originally tailored for revision of only purely ontic beliefs, and can be applied to higher-order beliefs only if given a “backwards-looking” interpretation) and the fact that, semantically speaking, any Ramsey conditional must be a modal o...
متن کاملResource-Bounded Belief Revision and Contraction
Agents need to be able to change their beliefs; in particular, they should be able to contract or remove a certain belief in order to restore consistency to their set of beliefs, and revise their beliefs by incorporating a new belief which may be inconsistent with their previous beliefs. An influential theory of belief change proposed by Alchourron, Gärdenfors and Makinson (AGM) [1] describes p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015